Die formalisierte Theorie bezeichnet in der klassischen Mathematik ein Verfahren, wobei die Sätze einer Theorie durch logische Schlüsse aus den Axiomen abgeleitet werden. Zur Formalisierung der Axiome und der Beweise benutzt man dabei die Umgangssprache. Man kann aber auch auf die Umgangssprache verzichten und die Axiome (unter Benutzung der Pr